The Palm Pilot Robot Kit is a design for an easy-to-build, fully autonomous robot controlled by a Palm handheld computer.

CMU's AI repository offers a collection of Prolog implementations.

Information about Prolog Implementations.

The complete FAQs from news:comp.lang.prolog

OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, deve...

Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

A user interface development environment for Common Lisp and X11 or Macintosh. It helps you create graphical, interactive user interfaces for your software.

Yet more Scheme implementations from the CMU AI Repository. Many of these are also available from the Indiana University Scheme Repository.

Part of the greater CMU AI Repository. Has a large overlap with the Indiana repository.

Contains links to various A.I.-related Lisp topics.